Conditional pushdown systems (CPDSs) extend pushdown systems by associating each transition rule with a regular language......

This paper studies the reachability problem of the switched linear discrete singular (SLDS) systems. Under the condition......

根据单纯形仿射混杂系统的可达性分析设计控制律,使机器人在平面任意两点间运行,保证其安全性并考虑其最优性.对机器人的状态空间......

In this paper,we propose a matrix-based approach for finite automata and then study the reachability conditions.Both the......